---

proving of concurrent program

英 [ˈpruːvɪŋ ɒv kənˈkʌrənt ˈprəʊɡræm] 美 [ˈpruːvɪŋ əv kənˈkɜːrənt ˈproʊɡræm]

【计】并行程序证明

计算机

---

---